]>
| author | Giovanni Campagna <gcampagna@src.gnome.org> | |
| Sat, 27 Oct 2012 16:18:54 +0000 (18:18 +0200) | ||
| committer | Giovanni Campagna <gcampagna@src.gnome.org> | |
| Tue, 20 Nov 2012 17:01:11 +0000 (18:01 +0100) | ||
| commit | a370697385a6a94f296874485af7481fdc9dd8fe | |
| tree | 5edf2a7bb3992144ac97d6072e88ef9c6d93bfe8 | tree | snapshot |
| parent | 8a7c0313f64ffbf84489cc3de81e506b41252f44 | commit | diff |
| data/theme/gnome-shell.css | diff | blob | history | |
| js/ui/workspace.js | diff | blob | history |